Publikationen

Uwe Nestmann and Björn Victor (1998). Calculi for Mobile Processes - Bibliography and Web Pages. Bulletin of the EATCS

Uwe Nestmann (1998). On the Expressive Power of Joint Input. Electr. Notes Theor. Comput. Sci.

Uwe Nestmann and Benjamin C. Pierce (1998). Preface. Electr. Notes Theor. Comput. Sci.

Uwe Nestmann (1997). What is a `good' encoding of guarded choice?. Electr. Notes Theor. Comput. Sci.

Uwe Nestmann and Benjamin C. Pierce (1996). Decoding Choice Encodings. CONCUR, 179-194.

(1996). CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings. CONCUR. Springer.

Uwe Nestmann and Martin Steffen (1995). Correct Transformational Design of Concurrent Search Structures. Object Orientation with Parallelism and Persistence, 23-42.